#include<stdio.h>
int main(){
	int x=10000;
	int i=10000;
	int j=2;
	for(;;i++){
		j=2;
		for(;j<=i;j++){
			if(i%j==0){
		       break;
			}
			if(j==i-1){
			 printf(":%d",i);
			  exit(0);	
			}
		}

		}
	}


